Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
101	Verilator: Open Simulation - Growing Up http://www.veripool.org/papers Wilson Snyder Cavium Networks Add to Reading List Source URL: www.veripool.org Language: English - Date: 2013-06-06 20:23:28 Electronic design automation Electronic engineering Digital electronics Hardware description languages Logic design Verilator SystemC Verilog Simulation Logic simulation
102	JulyAbout CEDA The IEEE Council on Electronic Design Automation (CEDA) provides a focal point for EDA activities spread across six IEEE societies (the Antennas and Propagation, Add to Reading List Source URL: ieee-ceda.org Language: English - Date: 2015-12-11 14:18:33
103	Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Theoretical computer science Logic in computer science Formal methods Constraint programming Electronic design automation Satisfiability modulo theories Separation logic Mathematical logic Logic programming Logic
104	MayJoin CEDA at IEEE Express your interest and support of the IEEE Council on Electronic Design Automation (CEDA) by Add to Reading List Source URL: ieee-ceda.org Language: English - Date: 2015-12-11 14:19:51
105	IEEE Electronic Design Automation council Add to Reading List Source URL: ieee-ceda.org Language: English - Date: 2015-12-11 14:18:36
106	IEEE Moves to Form Council on Electronic Design Automation Add to Reading List Source URL: ieee-ceda.org Language: English - Date: 2015-12-11 14:18:36
107	Transactions on Design Automation of Electronic Systems A Robust Design Space Modeling Qi Guo, Carnegie Mellon University Tianshi Chen, Institute of Computing Technology, Chinese Academy of Sciences Add to Reading List Source URL: pages.saclay.inria.fr Language: English - Date: 2015-01-01 13:30:05
108	Schematic Design SCHEMATIC DESIGN CONTENTS BOOK 4: UNION STREET SCHEMATIC DESIGN Add to Reading List Source URL: waterfrontseattle.org Language: English - Date: 2015-01-07 17:31:04 Electronic design automation Norie Sato Schematic Technology Visual arts Communication design
109	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
110	UNIVERSITY OF DAYTON LAW REVIEW VOLUME 34 WINTERNUMBER 2 Add to Reading List Source URL: www.tapr.org Language: English - Date: 2009-10-11 21:02:52 Electronic engineering Software Engineering Electronic design automation Diagrams Electronic design Integrated circuits Open-source hardware Schematic capture PCB GEDA Electric